Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
431	Uniform Logical Relations Edwin Westbrook Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-04-06 13:26:12 Dependently typed programming Logic in computer science Type theory Proof theory Functions and mappings Function Intuitionistic type theory Lambda calculus Xi Mathematics Mathematical logic Logic
432	Intuitionistic Type Theory Per Martin-L¨of Notes by Giovanni Sambin of a series of lectures Add to Reading List Source URL: www.csie.ntu.edu.tw Language: English - Date: 2009-06-20 07:32:17 Logic in computer science Propositional calculus Type theory Proof theory Natural deduction Function Principia Mathematica First-order logic Interpretation Logic Mathematical logic Mathematics
433	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 08:03:39 Mathematics Deduction Natural deduction Normalisation by evaluation Curry–Howard correspondence Model theory Lambda calculus Orbifold Holomorphic functional calculus Theoretical computer science Mathematical logic Proof theory
434	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2004-03-12 06:11:33 Propositional calculus Logical syntax Inference Logical truth Natural deduction Sequent calculus First-order logic Rule of inference Sequent Logic Mathematical logic Proof theory
435	PROOFS AND TYPES JEAN-YVES GIRARD Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:23 Proof theory Denotational semantics Natural deduction Linear logic Cut-elimination theorem Curry–Howard correspondence Lambda calculus Type theory Semantics Logic Mathematical logic Mathematics
436	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-10-05 14:17:27 Lambda calculus Programming language theory Proof theory Curry–Howard correspondence Philosophy of computer science Type theory Combinatory logic Natural deduction Normalisation by evaluation Logic in computer science Theoretical computer science Mathematical logic
437	A Proof that Euler Missed" Evaluating Add to Reading List Source URL: thales.doa.fmph.uniba.sk Language: English - Date: 2009-01-17 02:44:14 Integration by substitution Multiple integral Sturm–Liouville theory International Obfuscated C Code Contest Calculus Mathematical analysis Integral calculus
438	Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2003-04-22 14:53:24 Logic in computer science Philosophical logic Non-classical logic Propositional calculus Proof theory Combinatory logic Natural deduction Curry–Howard correspondence Modal logic Logic Mathematical logic Mathematics
439	Final year project Bertus: Implementing Observational Equality Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-09-05 05:05:27 Type theory Logic in computer science Dependently typed programming Lambda calculus Mathematical constructivism Intuitionistic type theory Proof assistant Dependent type Coq Mathematics Logic Theoretical computer science
440	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory